Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌳 Instruction Selection
Tree Pattern Matching, BURS, Code Generation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146439
posts in
120.3
ms
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
10h
·
Discuss:
DEV
⏭️
Skip Lists
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
23h
👻
Phantom Types
The
RISC
Concept - A Survey of
Implementations
inf.fu-berlin.de
·
3d
🏗
Computer Architecture
Show HN:
Btrc
– I built a language with AI in a few weeknights that outputs
C11
github.com
·
10h
·
Discuss:
Hacker News
🦀
Rust
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
8h
🔍
Miniselect
Verilog
Testbench
Essentials
hackster.io
·
1d
⚡
Circuit Design
Learning with a Budget:
Identifying
the Best Arm with Resource
Constraints
arxiv.org
·
23h
📱
Edge AI
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
✓
Formal Verification
Quieno/izalloc
: Drop-in, dependency-free, minimal memory allocator in C that passes 42 Shool's norm.
github.com
·
1d
·
Discuss:
r/C_Programming
🧩
Mimalloc Internals
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
algo
I
Fuzzed
, and Vibe Fixed, the
Vibed
C Compiler
john.regehr.org
·
9h
·
Discuss:
Lobsters
,
Hacker News
🔨
Incremental Compilation
TurboSparse
Efficiency: Achieving 97% Parameter Sparsity in
Mixtral-47B
hackernoon.com
·
1h
🤖
TVM
Tsonnet
#31 - Taking back control of
equality
dev.to
·
7h
·
Discuss:
DEV
📦
Serde
Your
Sentence
Has a Secret
Structure
. Here’s How GPT Sees It.
pub.towardsai.net
·
5h
🏷️
Pointer Tagging
Scoped
Resources in C with `__attribute__((
mulle
_confined_loop))`
mulle-kybernetik.com
·
17h
🦀
Rust Macros
Agentic
Engineering: Building Without
Writing
dehora.net
·
7h
🔲
Cellular Automata
Optimizing
Recommendation Systems with
JDK
’s Vector API
netflixtechblog.com
·
2h
⚡
SIMD Optimization
Implementing
Burger-Dybvig
: finding the shortest decimal that round-trips to the original IEEE 754 bits, with
ECMA-262
tie-breaking
lattice-substrate.github.io
·
14h
·
Discuss:
r/programming
📏
Run-Length Encoding
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Empirical
, a language for time-series analysis
empirical-soft.com
·
5h
·
Discuss:
Hacker News
📈
Prometheus PromQL
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help